.text {
  color: #008888;
}

.comment {
  color: gray;
}

.folding {
  background-color: #E8E8FF;
}

.root {
  font-size: 80%;
  background-color: white;
}

.row {
  margin-left: 4px;
  padding-left: 4px;
  border-left: medium;
  border-left-color: #E8E8FF;
  border-left-style: solid;
}

.elementName {
  color: #0000DD;
}

.emptyElementName {
  color: #000099;
}

.attrName {
  color: #005588;
}

.attrVal, .attrVal:visited {
  color: green;
}

.nsDecl {
  color: gray;
}

.nsPrefix {
  color: #A52A2A;
}

.nsUri {
  color: #A52A2A;
}
